integral of sin(1